Puerto Rican Red Beans In A Pressure Cooker.